Try($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(loc($e$) $\in$ $L$) \& @$e$("\$x"$\rightarrow$"\$try")